Formalizing Latent Thoughts: Four Axioms of Thought Representation in LLMs
形式化潜在思维：大语言模型思维表征的四条公理
🧭 LLM 思维表征的公理化评估
University of British Columbia
提出四条表征公理并审计发现现有LLM的潜在思维表征均无法同时满足，显露出结构性缺陷
📌 工作参考价值（4 点）
- 若在电商搜索/推荐中引入LLM处理查询或生成推荐理由，可借鉴四条公理（因果性、极小性、可分离性、稳定性）自评模型内部表征，诊断其是否真正编码了任务相关信息而非表面统计
- 面对Agent规划时，评估隐状态是否对不同子目标具备可分离性、对同任务扰动是否稳定，从而在部署前定位结构性问题，避免仅凭下游任务指标误判
- 在生成式推荐模型中，检查生成item的隐向量是否满足因果性（关键输入token促成了表征）、极小性（冗余信息少），可帮助优化编码器结构
- 该框架提供了一套与基准分数解耦的表征评测量化方法，可直接嵌入内部模型评估管线，用于对比不同训练策略或架构对表征质量的影响